\varinjlim #select##insertion#
